[XEN][POWERPC] workaround for context_switch() bug
We have a bug in that if we switch domains in schedule() we switch
right away regardless of whatever else is pending. This means that
if the timer goes off while in schedule(), the next domain will be
preempted by the interval defined below. So until we fix our
cotnext_switch(), the follow workaround will make sure that the
domain we switch to does not run for to long so we can continue to
service the other timers in the timer queue and that the value is
long enough to escape this particular timer event.
Signed-off-by: Jimi Xenidis <jimix@watson.ibm.com>
Signed-off-by: Hollis Blanchard <hollisb@us.ibm.com>
--HG--
extra : transplant_source : j%F6%01%C5%EB%E1%92%A0%DErC%0C%DD%94%DA%5B%A4o%F2%87